Radu Calinescu: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 21.04 MB

0 / 0

english, 2015

2

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Calinescu, Radu (editor) & Păsăreanu, Corina S. (editor)

წელი:

2021

ენა:

english

ფაილი:

PDF, 22.13 MB

0 / 5.0

english, 2021

3

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 8.59 MB

0 / 0

english, 2012

4

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.76 MB

0 / 0

english, 2011

5

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 4.54 MB

0 / 4.0

english, 2011

6

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Springer International Publishing

Radu Calinescu, Felicita Di Giandomenico

წელი:

2019

ენა:

english

ფაილი:

PDF, 8.86 MB

0 / 0

english, 2019

7

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Springer International Publishing

Radu Calinescu, Bernhard Rumpe (eds.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 16.81 MB

0 / 0

english, 2015

8

Autonomic Computing and Networking

Autonomic Computing and Networking

Radu Calinescu (auth.), Yan Zhang, Laurence Tianruo Yang, Mieso K. Denko (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 11.55 MB

0 / 0

english, 2009

9

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.87 MB

0 / 0

english, 2011